Protection for Critics

Proof Critics for IsaPlanner

The discovery of missing lemmas and case-splits are challenging problems for automated theorem proving. Most interactive provers rely on the user for guidance through these proof-steps. Proof-planning critics were introduced by Ireland as a way of automating this. Here, we present ongoing work developing critics for lemma speculation and caseanalysis in higher-order logic in the IsaPlanner system.

Adaptive Critics for Evolutionary Artists

We focus on the development of artificial art critics. These systems analyze artworks, extracting relevant features, and produce an evaluation of the perceived pieces. The ability to perform aesthetic judgments is a desirable characteristic in an evolutionary artificial artist. As such, the inclusion of artificial art critics in these systems may improve their artistic abilities. We propose art...

Adaptive critics for dynamic optimization

A novel action-dependent adaptive critic design (ACD) is developed for dynamic optimization. The proposed combination of a particle swarm optimization-based actor and a neural network critic is demonstrated through dynamic sleep scheduling of wireless sensor motes for wildlife monitoring. The objective of the sleep scheduler is to dynamically adapt the sleep duration to node's battery capacity ...

Modular Computational Critics for Games

Formal game modeling tools could support the automated analysis of game rules and rapid automated playtesting, but are not widely used. Furthermore, existing game design support tools are often limited to very specific classes of game, require significant programming expertise to use or customize, or are fully-automatic tools with limited affordances for human designers. We therefore propose a ...

Rorty and His Critics